منابع مشابه
Eulerian Trilogy
Three Eulerian models are implemented on a network graph model of air traffic flow. The underlying network is constructed using one year of ASDI/ETMS data. The three models are applied to high altitude traffic for a full Air Route Traffic Control Center of the National Airspace System and surrounding airspace. Simulations are carried out for a full day of data, to assess the predictive capabili...
متن کاملResource Discovery in Trilogy
Trilogy is a collaborative project whose key aim is the development of an integrated virtual laboratory to support research training within each institution and collaborative projects between the partners. In this paper, the architecture and underpinning platform of the system is described with particular emphasis being placed on the structure and the integration of the distributed database. A ...
متن کاملThe Trilogy update of IEEE C62.41
Progress report on the restructuring of two IEEE standards concerned with surges in low-voltage a.c. power circuits into a Trilogy of three documents. First a basic Guide describes the surge environment, then a Recommended Practice proposes a limited set of representative surge waveforms for test purposes, and finally a Recommended Practice shows how to perform safe, repeatable and reliable sur...
متن کاملThe Manifestation Challenge: The Debate between McDowell and Wright
In this paper, we will discuss what is called “Manifestation Challenge” to semantic realism, which was originally developed by Michael Dummett and has been further refined by Crispin Wright. According to this challenge, semantic realism has to meet the requirement that knowledge of meaning must be publically manifested in linguistic behaviour. In this regard, we will introduce and evaluate John...
متن کاملThe Wright Architectural Speci cation
An important step towards establishing an engineering discipline of software is to provide a formal basis for describing and analyzing software architectures. The Wright Architectural Speciication Language was developed for this purpose. The key novel features of Wright are its support for (a) formal speciication of new architectural connection types, (b) formal deenition of architectural style...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Royal Aeronautical Society
سال: 1944
ISSN: 0368-3931,2398-4600
DOI: 10.1017/s0368393100119376